<?hh

class X1 extends X {
  public $t = 1;
}
